Optimal. Leaf size=213 \[ -\frac {c^2 (5 c d-3 b e) x}{e^6}+\frac {c^3 x^2}{2 e^5}-\frac {d^3 (c d-b e)^3}{4 e^7 (d+e x)^4}+\frac {d^2 (c d-b e)^2 (2 c d-b e)}{e^7 (d+e x)^3}-\frac {3 d (c d-b e) \left (5 c^2 d^2-5 b c d e+b^2 e^2\right )}{2 e^7 (d+e x)^2}+\frac {(2 c d-b e) \left (10 c^2 d^2-10 b c d e+b^2 e^2\right )}{e^7 (d+e x)}+\frac {3 c \left (5 c^2 d^2-5 b c d e+b^2 e^2\right ) \log (d+e x)}{e^7} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.14, antiderivative size = 213, normalized size of antiderivative = 1.00, number of steps
used = 2, number of rules used = 1, integrand size = 19, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.053, Rules used = {712}
\begin {gather*} \frac {(2 c d-b e) \left (b^2 e^2-10 b c d e+10 c^2 d^2\right )}{e^7 (d+e x)}-\frac {3 d (c d-b e) \left (b^2 e^2-5 b c d e+5 c^2 d^2\right )}{2 e^7 (d+e x)^2}+\frac {3 c \left (b^2 e^2-5 b c d e+5 c^2 d^2\right ) \log (d+e x)}{e^7}-\frac {c^2 x (5 c d-3 b e)}{e^6}-\frac {d^3 (c d-b e)^3}{4 e^7 (d+e x)^4}+\frac {d^2 (c d-b e)^2 (2 c d-b e)}{e^7 (d+e x)^3}+\frac {c^3 x^2}{2 e^5} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 712
Rubi steps
\begin {align*} \int \frac {\left (b x+c x^2\right )^3}{(d+e x)^5} \, dx &=\int \left (-\frac {c^2 (5 c d-3 b e)}{e^6}+\frac {c^3 x}{e^5}+\frac {d^3 (c d-b e)^3}{e^6 (d+e x)^5}-\frac {3 d^2 (c d-b e)^2 (2 c d-b e)}{e^6 (d+e x)^4}+\frac {3 d (c d-b e) \left (5 c^2 d^2-5 b c d e+b^2 e^2\right )}{e^6 (d+e x)^3}+\frac {(2 c d-b e) \left (-10 c^2 d^2+10 b c d e-b^2 e^2\right )}{e^6 (d+e x)^2}+\frac {3 c \left (5 c^2 d^2-5 b c d e+b^2 e^2\right )}{e^6 (d+e x)}\right ) \, dx\\ &=-\frac {c^2 (5 c d-3 b e) x}{e^6}+\frac {c^3 x^2}{2 e^5}-\frac {d^3 (c d-b e)^3}{4 e^7 (d+e x)^4}+\frac {d^2 (c d-b e)^2 (2 c d-b e)}{e^7 (d+e x)^3}-\frac {3 d (c d-b e) \left (5 c^2 d^2-5 b c d e+b^2 e^2\right )}{2 e^7 (d+e x)^2}+\frac {(2 c d-b e) \left (10 c^2 d^2-10 b c d e+b^2 e^2\right )}{e^7 (d+e x)}+\frac {3 c \left (5 c^2 d^2-5 b c d e+b^2 e^2\right ) \log (d+e x)}{e^7}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.08, size = 210, normalized size = 0.99 \begin {gather*} \frac {-4 c^2 e (5 c d-3 b e) x+2 c^3 e^2 x^2-\frac {d^3 (c d-b e)^3}{(d+e x)^4}+\frac {4 d^2 (c d-b e)^2 (2 c d-b e)}{(d+e x)^3}+\frac {6 d \left (-5 c^3 d^3+10 b c^2 d^2 e-6 b^2 c d e^2+b^3 e^3\right )}{(d+e x)^2}+\frac {80 c^3 d^3-120 b c^2 d^2 e+48 b^2 c d e^2-4 b^3 e^3}{d+e x}+12 c \left (5 c^2 d^2-5 b c d e+b^2 e^2\right ) \log (d+e x)}{4 e^7} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.52, size = 260, normalized size = 1.22
method | result | size |
norman | \(\frac {\frac {c^{3} x^{6}}{2 e}-\frac {d^{3} \left (b^{3} e^{3}-25 b^{2} d \,e^{2} c +125 b \,c^{2} d^{2} e -125 c^{3} d^{3}\right )}{4 e^{7}}-\frac {\left (b^{3} e^{3}-12 b^{2} d \,e^{2} c +60 b \,c^{2} d^{2} e -60 c^{3} d^{3}\right ) x^{3}}{e^{4}}+\frac {3 c^{2} \left (b e -c d \right ) x^{5}}{e^{2}}-\frac {3 d \left (b^{3} e^{3}-18 b^{2} d \,e^{2} c +90 b \,c^{2} d^{2} e -90 c^{3} d^{3}\right ) x^{2}}{2 e^{5}}-\frac {d^{2} \left (b^{3} e^{3}-22 b^{2} d \,e^{2} c +110 b \,c^{2} d^{2} e -110 c^{3} d^{3}\right ) x}{e^{6}}}{\left (e x +d \right )^{4}}+\frac {3 c \left (b^{2} e^{2}-5 b c d e +5 d^{2} c^{2}\right ) \ln \left (e x +d \right )}{e^{7}}\) | \(253\) |
default | \(\frac {c^{2} \left (\frac {1}{2} c e \,x^{2}+3 b e x -5 c d x \right )}{e^{6}}+\frac {d^{3} \left (b^{3} e^{3}-3 b^{2} d \,e^{2} c +3 b \,c^{2} d^{2} e -c^{3} d^{3}\right )}{4 e^{7} \left (e x +d \right )^{4}}+\frac {3 d \left (b^{3} e^{3}-6 b^{2} d \,e^{2} c +10 b \,c^{2} d^{2} e -5 c^{3} d^{3}\right )}{2 e^{7} \left (e x +d \right )^{2}}-\frac {b^{3} e^{3}-12 b^{2} d \,e^{2} c +30 b \,c^{2} d^{2} e -20 c^{3} d^{3}}{e^{7} \left (e x +d \right )}-\frac {d^{2} \left (b^{3} e^{3}-4 b^{2} d \,e^{2} c +5 b \,c^{2} d^{2} e -2 c^{3} d^{3}\right )}{e^{7} \left (e x +d \right )^{3}}+\frac {3 c \left (b^{2} e^{2}-5 b c d e +5 d^{2} c^{2}\right ) \ln \left (e x +d \right )}{e^{7}}\) | \(260\) |
risch | \(\frac {c^{3} x^{2}}{2 e^{5}}+\frac {3 c^{2} b x}{e^{5}}-\frac {5 c^{3} d x}{e^{6}}+\frac {\left (-b^{3} e^{5}+12 b^{2} c d \,e^{4}-30 d^{2} b \,c^{2} e^{3}+20 c^{3} d^{3} e^{2}\right ) x^{3}-\frac {3 d e \left (b^{3} e^{3}-18 b^{2} d \,e^{2} c +50 b \,c^{2} d^{2} e -35 c^{3} d^{3}\right ) x^{2}}{2}-d^{2} \left (b^{3} e^{3}-22 b^{2} d \,e^{2} c +65 b \,c^{2} d^{2} e -47 c^{3} d^{3}\right ) x -\frac {d^{3} \left (b^{3} e^{3}-25 b^{2} d \,e^{2} c +77 b \,c^{2} d^{2} e -57 c^{3} d^{3}\right )}{4 e}}{e^{6} \left (e x +d \right )^{4}}+\frac {3 c \ln \left (e x +d \right ) b^{2}}{e^{5}}-\frac {15 c^{2} \ln \left (e x +d \right ) b d}{e^{6}}+\frac {15 c^{3} \ln \left (e x +d \right ) d^{2}}{e^{7}}\) | \(268\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.29, size = 288, normalized size = 1.35 \begin {gather*} 3 \, {\left (5 \, c^{3} d^{2} - 5 \, b c^{2} d e + b^{2} c e^{2}\right )} e^{\left (-7\right )} \log \left (x e + d\right ) + \frac {1}{2} \, {\left (c^{3} x^{2} e - 2 \, {\left (5 \, c^{3} d - 3 \, b c^{2} e\right )} x\right )} e^{\left (-6\right )} + \frac {57 \, c^{3} d^{6} - 77 \, b c^{2} d^{5} e + 25 \, b^{2} c d^{4} e^{2} - b^{3} d^{3} e^{3} + 4 \, {\left (20 \, c^{3} d^{3} e^{3} - 30 \, b c^{2} d^{2} e^{4} + 12 \, b^{2} c d e^{5} - b^{3} e^{6}\right )} x^{3} + 6 \, {\left (35 \, c^{3} d^{4} e^{2} - 50 \, b c^{2} d^{3} e^{3} + 18 \, b^{2} c d^{2} e^{4} - b^{3} d e^{5}\right )} x^{2} + 4 \, {\left (47 \, c^{3} d^{5} e - 65 \, b c^{2} d^{4} e^{2} + 22 \, b^{2} c d^{3} e^{3} - b^{3} d^{2} e^{4}\right )} x}{4 \, {\left (x^{4} e^{11} + 4 \, d x^{3} e^{10} + 6 \, d^{2} x^{2} e^{9} + 4 \, d^{3} x e^{8} + d^{4} e^{7}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 459 vs.
\(2 (211) = 422\).
time = 3.66, size = 459, normalized size = 2.15 \begin {gather*} \frac {57 \, c^{3} d^{6} + 2 \, {\left (c^{3} x^{6} + 6 \, b c^{2} x^{5} - 2 \, b^{3} x^{3}\right )} e^{6} - 6 \, {\left (2 \, c^{3} d x^{5} - 8 \, b c^{2} d x^{4} - 8 \, b^{2} c d x^{3} + b^{3} d x^{2}\right )} e^{5} - 4 \, {\left (17 \, c^{3} d^{2} x^{4} + 12 \, b c^{2} d^{2} x^{3} - 27 \, b^{2} c d^{2} x^{2} + b^{3} d^{2} x\right )} e^{4} - {\left (32 \, c^{3} d^{3} x^{3} + 252 \, b c^{2} d^{3} x^{2} - 88 \, b^{2} c d^{3} x + b^{3} d^{3}\right )} e^{3} + {\left (132 \, c^{3} d^{4} x^{2} - 248 \, b c^{2} d^{4} x + 25 \, b^{2} c d^{4}\right )} e^{2} + 7 \, {\left (24 \, c^{3} d^{5} x - 11 \, b c^{2} d^{5}\right )} e + 12 \, {\left (5 \, c^{3} d^{6} + b^{2} c x^{4} e^{6} - {\left (5 \, b c^{2} d x^{4} - 4 \, b^{2} c d x^{3}\right )} e^{5} + {\left (5 \, c^{3} d^{2} x^{4} - 20 \, b c^{2} d^{2} x^{3} + 6 \, b^{2} c d^{2} x^{2}\right )} e^{4} + 2 \, {\left (10 \, c^{3} d^{3} x^{3} - 15 \, b c^{2} d^{3} x^{2} + 2 \, b^{2} c d^{3} x\right )} e^{3} + {\left (30 \, c^{3} d^{4} x^{2} - 20 \, b c^{2} d^{4} x + b^{2} c d^{4}\right )} e^{2} + 5 \, {\left (4 \, c^{3} d^{5} x - b c^{2} d^{5}\right )} e\right )} \log \left (x e + d\right )}{4 \, {\left (x^{4} e^{11} + 4 \, d x^{3} e^{10} + 6 \, d^{2} x^{2} e^{9} + 4 \, d^{3} x e^{8} + d^{4} e^{7}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 11.32, size = 316, normalized size = 1.48 \begin {gather*} \frac {c^{3} x^{2}}{2 e^{5}} + \frac {3 c \left (b^{2} e^{2} - 5 b c d e + 5 c^{2} d^{2}\right ) \log {\left (d + e x \right )}}{e^{7}} + x \left (\frac {3 b c^{2}}{e^{5}} - \frac {5 c^{3} d}{e^{6}}\right ) + \frac {- b^{3} d^{3} e^{3} + 25 b^{2} c d^{4} e^{2} - 77 b c^{2} d^{5} e + 57 c^{3} d^{6} + x^{3} \left (- 4 b^{3} e^{6} + 48 b^{2} c d e^{5} - 120 b c^{2} d^{2} e^{4} + 80 c^{3} d^{3} e^{3}\right ) + x^{2} \left (- 6 b^{3} d e^{5} + 108 b^{2} c d^{2} e^{4} - 300 b c^{2} d^{3} e^{3} + 210 c^{3} d^{4} e^{2}\right ) + x \left (- 4 b^{3} d^{2} e^{4} + 88 b^{2} c d^{3} e^{3} - 260 b c^{2} d^{4} e^{2} + 188 c^{3} d^{5} e\right )}{4 d^{4} e^{7} + 16 d^{3} e^{8} x + 24 d^{2} e^{9} x^{2} + 16 d e^{10} x^{3} + 4 e^{11} x^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.80, size = 387, normalized size = 1.82 \begin {gather*} \frac {1}{2} \, {\left (c^{3} - \frac {6 \, {\left (2 \, c^{3} d e - b c^{2} e^{2}\right )} e^{\left (-1\right )}}{x e + d}\right )} {\left (x e + d\right )}^{2} e^{\left (-7\right )} - 3 \, {\left (5 \, c^{3} d^{2} - 5 \, b c^{2} d e + b^{2} c e^{2}\right )} e^{\left (-7\right )} \log \left (\frac {{\left | x e + d \right |} e^{\left (-1\right )}}{{\left (x e + d\right )}^{2}}\right ) + \frac {1}{4} \, {\left (\frac {80 \, c^{3} d^{3} e^{29}}{x e + d} - \frac {30 \, c^{3} d^{4} e^{29}}{{\left (x e + d\right )}^{2}} + \frac {8 \, c^{3} d^{5} e^{29}}{{\left (x e + d\right )}^{3}} - \frac {c^{3} d^{6} e^{29}}{{\left (x e + d\right )}^{4}} - \frac {120 \, b c^{2} d^{2} e^{30}}{x e + d} + \frac {60 \, b c^{2} d^{3} e^{30}}{{\left (x e + d\right )}^{2}} - \frac {20 \, b c^{2} d^{4} e^{30}}{{\left (x e + d\right )}^{3}} + \frac {3 \, b c^{2} d^{5} e^{30}}{{\left (x e + d\right )}^{4}} + \frac {48 \, b^{2} c d e^{31}}{x e + d} - \frac {36 \, b^{2} c d^{2} e^{31}}{{\left (x e + d\right )}^{2}} + \frac {16 \, b^{2} c d^{3} e^{31}}{{\left (x e + d\right )}^{3}} - \frac {3 \, b^{2} c d^{4} e^{31}}{{\left (x e + d\right )}^{4}} - \frac {4 \, b^{3} e^{32}}{x e + d} + \frac {6 \, b^{3} d e^{32}}{{\left (x e + d\right )}^{2}} - \frac {4 \, b^{3} d^{2} e^{32}}{{\left (x e + d\right )}^{3}} + \frac {b^{3} d^{3} e^{32}}{{\left (x e + d\right )}^{4}}\right )} e^{\left (-36\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.12, size = 302, normalized size = 1.42 \begin {gather*} x\,\left (\frac {3\,b\,c^2}{e^5}-\frac {5\,c^3\,d}{e^6}\right )-\frac {x^2\,\left (\frac {3\,b^3\,d\,e^4}{2}-27\,b^2\,c\,d^2\,e^3+75\,b\,c^2\,d^3\,e^2-\frac {105\,c^3\,d^4\,e}{2}\right )-x\,\left (-b^3\,d^2\,e^3+22\,b^2\,c\,d^3\,e^2-65\,b\,c^2\,d^4\,e+47\,c^3\,d^5\right )-\frac {-b^3\,d^3\,e^3+25\,b^2\,c\,d^4\,e^2-77\,b\,c^2\,d^5\,e+57\,c^3\,d^6}{4\,e}+x^3\,\left (b^3\,e^5-12\,b^2\,c\,d\,e^4+30\,b\,c^2\,d^2\,e^3-20\,c^3\,d^3\,e^2\right )}{d^4\,e^6+4\,d^3\,e^7\,x+6\,d^2\,e^8\,x^2+4\,d\,e^9\,x^3+e^{10}\,x^4}+\frac {\ln \left (d+e\,x\right )\,\left (3\,b^2\,c\,e^2-15\,b\,c^2\,d\,e+15\,c^3\,d^2\right )}{e^7}+\frac {c^3\,x^2}{2\,e^5} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________